Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
501	Content Request Markup Language (CRML): a Distributed Framework for XML-based Content Publishing Chi-Huang Chiu, Kai-Chih Liang, Shyan-Ming Yuan Dept. of Computer & Information Science, National Chiao Tung University 100 Add to Reading List Source URL: www10.org Language: English - Date: 2001-04-19 03:17:00 Cross-platform software Object-oriented programming languages Cache Hypertext Transfer Protocol Java
502	Some uses of Caml in industry Xavier Leroy INRIA Paris-Rocquencourt CUFP 2007 Add to Reading List Source URL: cufp.org Language: English - Date: 2014-05-11 14:35:46 Functional languages OCaml French Institute for Research in Computer Science and Automation Caml ML Xavier Leroy
503	Computing While Composing Miller Puckette ∗ size and process musical sound. It can be argued that Add to Reading List Source URL: msp.ucsd.edu Language: English - Date: 2007-08-13 21:01:49 Experimental music Visual programming languages Computer music Contemporary music Electronic music OpenMusic David Cope IRCAM Max Computing Lisp Software
504	BU CAS CS 520 (Fall Semester, Principles of Programming Languages Inductive Reasoning Induction is a powerful tool for reasoning in mathematics. In the study of programming languages, it is frequent to encounter i Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2011-09-03 11:02:00 Logic in computer science Mathematical proofs Mathematical induction Structural induction Binary tree Exponentiation Trace Markov number
505	Concise Integer Linear Programming Formulations for Dependency Parsing ∗ Andr´e F. T. Martins∗† Noah A. Smith∗ Eric P. Xing∗ School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-07-30 17:51:06 Operations research Compiler construction Formal languages Machine learning Dependency grammar Natural language parsing LL parser Integer programming Parsing Linear programming Context-free grammar Conditional random field
506	Generating Highly Customizable SQL Parsers Sagar Sunkle, Martin Kuhlemann, Norbert Siegmund, ¨ Marko Rosenmuller, Gunter Saake School of Computer Science Add to Reading List Source URL: wwwiti.cs.uni-magdeburg.de Language: English - Date: 2010-05-14 10:48:25 SQL Query languages Select Data definition language From Where Alias PL/SQL Null
507	Spurious Disambiguation Error Detection Claudio Sacerdoti Coen? and Stefano Zacchiroli? Department of Computer Science, University of Bologna Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-28 04:59:48 Model theory Formal languages Mathematical logic Symbol Interpretation Structure Substitution Golden ratio base
508	Hector: Detecting Resource-Release Omission Faults in Error-Handling Code for Systems Software Suman Saha Jean-Pierre Lozi Add to Reading List Source URL: coccinelle.lip6.fr Language: English - Date: 2013-06-27 14:20:07 Computer errors Object-oriented programming languages Control flow Computer networking Error code Ioctl Exception handling Kernel Linux kernel Software bug Swift Error detection and correction
509	Efficient SIMD Code Generation for Runtime Alignment and Length Conversion Peng Wu Alexandre E. Eichenberger Add to Reading List Source URL: researcher.watson.ibm.com Language: English - Date: 2009-10-23 16:02:22 Computer architecture Assembly languages Parallel computing Instruction set architectures Pointer Data structure alignment SIMD Offset Addressing mode DEC Alpha
510	Aachen Department of Computer Science Technical Report Symbolic Evaluation Graphs and Term Rewriting — Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2012-09-07 15:06:52 Logic in computer science Logic programming Automated theorem proving Formal languages Type theory Substitution Unification Admissible rule Futures and promises Rewrite order Rewriting Symbol

UPDATE